Fix bug in WebAgg backend on master