Updated the dev manual