June 4th 2016: Marvin 16.7.4.

No changes.