Clarify #7 to tell folks about the double margin bug