Removed redundent definition of divide