tiny bug fixes