minor fixes

just a couple of totally minor one-liners.