cosmetics: remove unnecessary blank lines