minor code-style fix