Update devel.pp

clean lint error.