Minor update in the dev' section