Good spot. They are extended in CSS actually, missed these to remove