check in some minor fixes, I already forgot what they are..