scan.cc: fix whitespace