I would agree that it is not a crack. If you’re concerned, it could polish it out by pulling a strip of 400 grit wet or dry paper across it while holding it against the casting with your finger. It doesn’t take much water. I use that system to clean up breaker points using WD40 . . . 🙂
