Fix #39: update extra in documentation and make it not mandatory