Minor tidies.