minor fix from Sergey