some minor fixes, nothing new...