Fix pointer types in the manual.

This was brought up in IRC: https://botbot.me/mozilla/rust/2014-08-30/?msg=20733803&page=26