Minor code tweak suggested by hlint