Very minor fix

there was just and extra " in the file.