improved assertion messages