minor fix

Accidentally used the wrong file name for the setup file.