Remove unused file
Improve documentation
Add forgotten assertion