Fix #4 d486591 workspace.