Minor correction to main interface