Update notation for prereqs.