Small fix on divider code