חוק התקציב לשנת 1957/58, התשי"ז-1957 (תיקון טעות)