pushed minor bug fix