Minor code-stylistic adjustment.