Small bug in interface declaration.