Just when you thought Gary Johnson was a serious presidential alternative