Trivial patch attached.