Is there a reason for repeating line `1234` here?