Tiny code style fix