Minor tidies