Just a little nibble damage from a pest, probably a snail from the look of it. I wouldn't have cut the leaves off, but no harm in being cautious. A general rule that doesn't always apply but is still good, if the spot isn't spreading it is old damage and not infection. One exception to that would be "Thai Disease" which I forget the proper name for (my apologies to the Thais who have done so much good for the orchid industry), which appears as eye shaped black or brown spots on either the top or bottom of a leaf, usually whichever is facing up. When this fungus is "in bloom" it feels distinctly rough to the touch. Leaves with this should be immediately removed and destroyed. It is a relentless disease. Hate it. Sorry for the irrelevant rant. Your plant should be fine.