Fix a pair of syntax errors in the interface library.