Fix ASSERT documentation