small fix by Sjoerd
1 file changed