Fix typo #740

1. 
   raucao commented at 4:11 PM on November 21, 2018: contributor

   No description provided.

2. Fix typo 400c0c4cf9
3. 
   luke-jr commented at 4:47 PM on December 14, 2018: member

   @maraoz @matiu

4. luke-jr added the label Proposed BIP modification on Dec 14, 2018
5. 
   maraoz commented at 5:15 PM on December 14, 2018: contributor

   LGTM

6. 
   matiu commented at 5:41 PM on December 14, 2018: contributor

   ACK

7. luke-jr merged this on Dec 14, 2018
8. luke-jr closed this on Dec 14, 2018

   ---

9. raucao deleted the branch on Dec 14, 2018