Fixing source formatting problems after suggestion by Anton Berezin