Fix quickfix typo in mirror_pond.txt