Fixed a bug that Michael introduced.