changing parameters name in dawson kernel