Fix indentation in instrumentation_* files

Fixes #17