a change directly from PyScripter