fix documentation, too