Concernings #916: shutting off one warning