Oh, yes you could put `ditto` there too. (I guess it's meant to be more readable.)