I think it should actually print a message like in a case above.