Re #334: Fix map.js compile error.