Fixed a lingering bug that wasn't caught with #13