* Corrected comment for min_element, reported by Laura Dillon