Fix bug in Saxon version determination