Minor change because of new option in the JS backend