remove extraneous case from divn (thanks Ethan!)