hodgkin-huxley example: corrected time format to iso.