add lint() even though it does nothing right now