#144: fix