Enabled assertion
Some more documentation