Update interface_formatter.py

Fixed messed up merge.