Trivial fix for previous commit (oops).