Tiny update to documentation