This code was copied from the bug report. Did I copy a mistake?