we should add a isset() check just to be safe