I mistakenly thought that <small> was de inverse of the deprecated <big> element, but apparently it is for small-print text and such, thus suited for this case.