Ceylondoc: minor fix in js