Small bugfix to make installation running