It isn't ideal, but at the moment it is the earliest and only record we've seen of what the discovers intended to name it. It could well just be a spellling mishtake by whoever draw up the survey. You can imagine how different people writing about the cave subsequently interpreted the word as either stalactite, or stalagmite, possibly without even realising they were misreading what was on the survey. People see what they expect to see, leading to confusion ever since. Any way, I do like the idea of mentally tripping people up when they see the topo!