pull request for a few patches -- more to come

A few patches are ready.