minor fix after 116 closed