Correcting the DecBoth message.