Fixed small bug with assertion condition