fixed a printing error (wrong formatter)