A pair of veru simple bug fixes