Correct spelling of instrumenters.