Fix dummy annotations