Fixes from @janetmatsen.