Whitespace formatting fix.
Bugreported by Phil.