minor fix, not an apparent bug