added pre tags to the manual