ha2: fix indentations in lint.h