tiny bug fixes in interface