Fix duplicate require calls.

Silly rare case. Oh well, it's already done.