GitHub#5 bug fix