small bug fix to johdanto