some bug fixes in developers/