temporary fix for a not used warning
Merge branch 'master' of github.com:Wolframe/Wolframe
Merge branch 'master' of github.com:Wolframe/Wolframe
Merge branch 'master' of github.com:Wolframe/Wolframe