In fact, this gaurd should move above line 873, right below the other gaurd clause.