and another fix for pointer options