minor syntax change in 20v-Jimmy.pp