several error annotations added