fix bug in #1