minor tweak to read_program