Fix minor stylistic issue