Thanks! This definition is actually pretty annoying. It's only there so that rdoc can properly pick it up.