Text Annotation Tool: Safari Colored Highlights Bug Fix