Fix another release issue (hopefully)