Update gen5.1.js

I think this is called for.