added debugging options