minor fix in error reporting