Fix documentation example

Just a minor doc fix