Small bug fix, printing