just a code-style fix