Changed Div &c. to allow doc/0.