Add timings; fix #10