Fix a ROUND_MARGIN-related bug.