fixed an interface problem detected by David Luet