minor fix to prevent php warning