Update notes for submitted changes

* Fix a bug to use clock_gettime()