Yes. Arduino's buffered serial output is interrupt-based, in that it uses interrupts to refill the UART transmit register when it runs empty, until the software-managed transmit buffer has been drained. You cannot put the ATmega back to "lasting" sleep until the last byte of the serial transmission has been written to the UART hardware. If the goal of your serial output is only debug, it might be simplest to shorten it to a single character. If you want to keep the full mechanism, it may take exploration of the Arduino source code to figure out how to determine when the transmission is done. A simpler, if cruder option might be to just keep going back to sleep until a readback of the counter indicates that your intended sleep is over.