Simple doc fix.