Cosmetics: fix weird indent.