Fixed a little bug in annotation coloration