Ceylondoc: default parameter value, should be documented #858