a minor fix