Fix typo for devel