some extensions in Python interface