Clarification on div replacement instructions