just a minor fix