minor tweak around FastNoSuchElementException.