Coding style adjustments: removed trailing whitespaces