PLA-1308: whitespace