small fix for whitespace handling