0.8.1: fix bug