Fix #4; automate HLint