Cosmetics: fix style nits.