Minor document fix