Fix #159: Annotations don't impede specialization