You are right. It can be simplified.