Issue #14: removing a spurious div tag