doc fix from @nnuss