Fixing a compiler missinterpretation of an id type

Closing #120