Fix annotation assertion