The override we're doing to make CaltechAUTHORS the default seems to be too strict.
The override we're doing to make CaltechAUTHORS the default seems to be too strict.