Fixed a tiny bug that might some day have been an issue to someone.