Ceylondoc: truncates parameter default values #1444