Minor changes, to help when webclint bundle gets updated