Not sure what this is, had the electrician in doing some work and we noticed after he left. Any ideas on how to clean it? Looks like a permanent ink stain..