Fixes a bug in the formatting setup.

Relates to Issue #17