No, it's not necessary; I thought it might make it clearer that `alarm` can be null; I'll remove that and put a comment instead.