JOHNE - Grrr... some more files whose line endings have changed for no apparent reason (seems to occur after doing 'git remote update')