This change seems unrelated to doctests -- just want to make sure it isn't here by accident.