Even with your explanation, I think @deqing 's suggestion is good to apply. It will save a indent.