re: #636 reine.de.tout

I think my record was -43 or so.