A bug in background optimization is fixed.