this is NOT necessary with most recent hlint