Minor change because of new option for the JS backend