php short array fixes