strange bug with Integers to be fixed!