void avoids a warning