- kill `unused variable' warning pointed out by sephe@