fixing small bugs in developer