Hi,
yes, delete the line.
The MASTER_ALLOCATION table used to be there until we found a bug.
During the bug repair we found out that there's no need for the table and eliminated it.
Of course we missed some references, this is one of them :-(
But if you have a look at github, you'll see that I've already deleted the line a few days ago.
Regards,
Ronald