Few more strictness annotations