Fix typo in bitvectors example; thanks to Adam Gashlin for reporting the issue.