corrected rest example