Added docs patch as per #413