pushing a minor fix