Tiny doc fix

Helping the copy / paster peeps with the right include :)