minor fix of #127