Fix install.devel.markdown