minor updates

I thought I had fixed them last week; apparently not!