Fixed #4173: Elaborated on the verbose error message