misc bugfixes, etc.