Fix silly bug in DeepSeq tool