חוק מבקר המדינה (תיקון 20),תשנ"ד-1994 (תיקון טעות)