fixing bug in configure_puppet