fixes #4277 in python. No bash