Fix a bug introduced by 9b803ee. See #193 and #194. (#196)
Fix a bug introduced by 9b803ee. See #193 and #194. (#196)


ak3n/redprl,jozefg/sml-red-jonprl,ak3n/sml-red-jonprl,RedPRL/sml-redprl,JonPRL/sml-red-jonprl