Workspace left clean

Correct some minor mistakes.