fix to alex's fix
Fix to a fix...
Stupid Git client, it didn't catch all changes...