Fix bug in definition
Add documentation