cosmetics: remove a few line jumps