Clarify Python 3 is used