Added missing PHP opening tag