I suppose you're right, but it doesn't save much in this simple case.