Bugfix: making whitespace clearer