very minor bug fixes.