no need to check this, it will not be printed anyway