Minor improvements to taxonomy.js