Re #546, fix typo