Remove some unnecessary strictness annotations