Fixing another mistake I introduced