two small bug fixes, probably