Minor tweak recommended by hlint