small changes needed by the mosquito update