That's not an issue with the proximity sensor itself, it is working as intended. It's likely to be kernel related, maybe I will take a look into it but don't expect a "fix", I still think that this is so minor it can basically be ignored.
Also, turning the screen on with the power button after...