minor fix after minor fix