Fixes to 'require version' typing