fix of #242