bugfix: reverted a deleted variable definition
bugfix in documentation