workaround an apparent github bug in displaying proper URLs