ExclBot vs ExclInvalid

I was working through resource_algebra.v and found that ExclBot does not exist, but ExclInvalid does exist. It looks like it was renamed or something.

Is there something wrong with my local setup (I have the wrong version of something installed), or is the tutorial out of date?