Adding a forgotten coral user definition.