Minor code cleaning at the behest of HLint