cosmetic detail, but if you prefer with a .py, I can add it back, I do not care too much :-)