I do mine exactly like that but I like to add whole peeled onions timed to just get done as the corned beef gets done. I like to have a whole onion to eat along with the taters, carrots and cabbage.
And I use straight horseradish as a condiment for the beef. And since I'm from the Southern...