Fix formatting abiguity, fixes #3