Corrected right-hand side from the original
.