[FS] possible error in Scheme Import / Static Context Processing

In 5.8 Schema Import / Static Context Processing:

This rule looks strange:

statEnv |- Definition* =>type statEnv1
statEnv1 |- Definition1 =>type statEnv2
---------------------------------------
Definition1 Definition* =>type statEnv2

Should the conclusion be:
statEnv |- Definition* Definition1 =>type statEnv2
I.e. add the statEnv context, and swap Definition1 Definition*.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/