A few small tidies