rebuilt dist with fix from 4387b80, and two lint fixes