Bugfix in ernstwm