Minor code-style fix