corrects fatal PHP error (missing semi-colon)