Errata for #693
Merge branch 'implicitarguments'