fix bug found by user #1