whitespace in plawty