Wow, I really have to configure my editor to comply with Leaflet's conventions!