whoops, fix a bug introduced in 0f9674e1ddd598a97bec61a9e759102182a26789