Fix a bizarre bug with soft-prereqs not working right.