Small code-style change