Fix IIIb-(a)

I think this is a copy-paste error from the previous section.