Documentation

Good catch!