minor bug fixes

