minor fixes

hopefully this won't break anything.