FIX: missing minor HTML fix from previous commit.