Fixed a pernicious bug