small bug fix, a missing char