bugs fixed in norm-prenormalized