I think this can be omitted, can't it?