Used HLint corrections