Popular sources, nevertheless, continue to attribute whiskers to Thrinaxodon