Minor improvements to the documentation
Remove SOURCE-LOC from SIMPLE-STATE