superficial tweak in error reporting. removed some whitespace.