Basic fixes with prg extraction