minor fixes, push to pull