Fixed a bugfix that was missed in merging.