small bug affects compilation