Make hlint happy