fix #5: speed.

Output doesn’t change, which is encouraging.