Fix some instructions to make TP release