Ceylondoc: document parameters assertion #1453