revise specs for new assertions