buffers.pl 4.7: fix typos in options