Tiny doc fix

Fixes a tiny doc typo