added spec for hlint

and some minor changes