Small updates to the dev manual