Should fix gh-pages navigation.