The best way to deal with this is to paint over the affected area. Hopefully you have the paint color for the ceiling and can just touch up the affected areas. Anything that will remove the paint like a stripper or scraping will damage discolor or remove material in the surrounding area as well.