Fix minor PHP notices