Bug in docs