small bug fixed for #1