line endings
VELVET: specialization in grammar added
VELVET: reference in grammar added
VELVET: debugging ouput removed