Remove an unused parameter to compileProgTop.
Do some linting.