Is this AVR sleep code correct?

See #23