Fixes error made in 11736b24569cbf9384d64fff9b074340146b01b7