additional bounded -> finite changes

Why this doctest was skipped?