bumped OpenLayers to 2.13.1