tiny fix to the enumerator