Good catch. restart = stop + start is the way we do it on every other platform; definitely makes sense to do it like that here too.