Adapted test to formatted HTML as produced by Travis (wtf?)