Added abbreviation for harpoon-supervisor.