The edge case never comes up anyways, and this is cleaner