more format fixes in core.js