Add remarks regarding the specific error to the doxygen of wav_player_stop()