Fix numbers from example

Thanks to Dominik Honnef.