And because these DECLAREs are now unnecessary, I think it's best not to auto-capitalize. If they stay, they don't hurt anything. It seems good behavior, though, to have that indication that they are unnecessary. For those who might have forgotten, or even not known.