minor corrections from yesterday's push