Minor bug fixes (error in json output format; subsecond resolution for request timing)