Fix proc.tst