Alex: minor fix