Fix coverage measurements.
Fix bunch of bugs.