Fixed a bug in razoring.