get rid of a useless def warning