Ah, apparently the program module models are weirder than I thought -- will fix.