Migration to Github: small adjustment