Fix bug in annotations affecting continuous integration