Added A. Stepanov to contrib list, but missing github username