Fix error messages in assertions