Fix SQL in `3-drop_procedures.sql` and in `5.triggers/*`