Minor change in Python plugin