Reformat code

See #22.