Fix typo in short example