error messages I made yesterday -- thanks to Andrew Dunstan for reporting
this, and my apologies for missing it the first time.