pretty: trivial style fix