Add some things to the manual