Small fix in docs examples