pi-test after-normalization fix on sema
pi-test after-normalization fix on sema

Ignore-this: 3d4daee9610dcbc8945986169fd0dd2e

darcs-hash:20100419045939-54782-3db2876fa1e9723cc7f40dcb6250f0cb526d3dd7.gz

sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna