Insignificant bug fix