Fixing poor Robin.js conversion.