Tiny doc fix