Oops: fixed a bug where nothing got installed