Drop the fancy multplying by two.

It's not faster or anything, anyway.