More work on the manual