Cleanup of ugly annotated assertion failures