Minor code-style adjustment