Correct `supervisor` call, by specifying the return type.
Don’t crash if there’s no available current thread when computing value detail
Typo and shortcut for Step-Message.