fixes formatter doing one division too much, fixes #4427