Trivial doc fix.