Fix: this comment was not meant to be a doctest