fix extraction of integers