Tiny clean-up/style fix