Yes I believe you are correct. I don't think I properly understood the creative commons license when I made this game, and I had thought that crediting freesound.org was enough. One of the challenges I've had with freesound.org over the years is that it's been really hard to find the same sound again to credit the authors, especially if all I have is the audio file. Can I ask how you managed to track them down?