ceylondoc: remove workaround for #877