fix bug (see #3)