Trivial fix.