fix a bug in #77