Concerning #619 : formatting of python examples still had a problem