This variable is never used, but it should be used!