oh right, this was a double-merge-fail: first the merge did not work due to double-addition of postRestart, then my zombie brain merged into this nonsense