Remove unneeded stricness annotations