frege-81 Add more information to the warning message