fix implicit annotations