bug fixes for norm-prenormalized