changed the code but still cannot reproduce this bug