assertion cleanup