Fixed errors in the asserted variables.