restored deleted (?) line in documentation