fix #412 for small IDEs