Short answer: yes
Note that the link you give is for Gavin's private github account, not the official BIP repo.
Gavin's reply here:
https://groups.google.com/forum/#!searchin/bitcoin-xt/bug/bitcoin-xt/T9Q_zIn3K9M/6MNfQayeDgAJ says that the BIP originally said "bits 1,2,3 and 14 set (0x20000007 in hex)." and that he'd change it to "bits 1, 2, 3 and 30 set (0x20000007 in hex)"
If I look at the official BIP here:
https://github.com/bitcoin/bips/blob/master/bip-0101.mediawiki, it hasn't been changed yet, but I assume it should now read "bits 1, 2, 3 and 30 set (0x20000007 in hex)".