Minor devel doc update