work around github bug