Fix usage of empty() for php < 5.5