add missing type notation in @option tags