[PATCH] Remove leftover comment from documentation.