Silence erroneous hlint warning