bug fix c: