An exceedingly minor optimization