fix commentNavigator issues with pinHeader options set - fixes #1645