Reformatted code
Workspace update'