Updating worspace submodule (minor style update)