fix #195

(untested)