Added docstring forgotten in 56252e7.