#140: fix