shell highlight #642