fixing platform.js