Fix bugs in STG Lint