I realize this is merged now, but this should've been </ol> and will need to be fixed.