[ET Trac] #1713: Avoid build-time warning