fix and test for Div