added changes made by Simon on repo2github issue #7