error in example - using int instead of double

in this example: http://arduino.cc/en/Tutorial/Tone, near the bottom there are two lines of codes:

   // to distinguish the notes, set a minimum time between them.
    // the note's duration + 30% seems to work well:
    int pauseBetweenNotes = noteDuration * 1.30;
    delay(pauseBetweenNotes);

the pauseBetweenNotes variable should be a double, otherwise the "+30%" does absolutely nothing.

also, how do I register to edit the tutorials? I tried fixing the mistake myself, but I couldn't find a place to register.

In the following code;

int pauseBetweenNotes = noteDuration * 1.30;

AVR C/C++ will compile to use float arithmetic to calculate "noteDuration * 1.30" and then round the result back to integer. The result is a 30% increase of noteDuration assigned to pauseBetweenNotes.