Undo bad change in cf0931166be13dbbe660

I didn't know that this was about RDoc!