nobug: minor style fix