Fixed a small error in UlrichEnvelope.