fix Andrei's comment