Put @specialized where it should go