enhance explanations

remove reference to basic $halt, removed in 7c39893