fix #704

hopefully this didn’t break anything else.