Update the dev manual

Fix #572