Fix bug in the use of `div`