Should this be deleted?  (Accidentally commented on the commit instead.)