Good eye. So the optimal achieved there is just a local optimal. :-)