Improve the C manual