Fixed leftover from docs merge. Thanks @cespare for spotting!