a few brief fixes

Nothing more.