Minor update to avoid php warning with undefined offset