That makes sense. PR has been updated accordingly.