Fix doc bug per #1