Fix a typo; added a note about the required PR