Cosmetic: removed trailing whitespaces