Fix a bug in a project that we “finished” two months ago..