Changed documentation in code for Foxx