Pull Request from TeXOLabs:4.0