Devel manual: fix rst syntax