Issue #685: Treat : as a whitespace