add space in ExtensionCore.py:143

add space