javascript: better error representation
javascript: whitespace