Fix code formatting in manual

Change-Id: Ibcda83a41f0ecb4586820c09e8403f6b6dfecc9a