Attempt to fix trunk
Concernings #916: shutting off one warning
automatic documentation update