revise invalid Assert statements