Devel doc updated to avoid misunderstandings