fix bug (see #9)