compensating for github's wacky routing