Added "x--;"