Change ASCII art to a more compact one, fixes #10