A small document fix.