Fixes in dev manual