Added one line to documentation

Precondition statement was missing