For consistency with the rest of the options-checking code. I agree I would use stderr if starting from scratch, but I don't think this is worth changing given that there is a risk of losing debugging information.