No problem, as long as it keeps `nodoc`