Updated Texy part in documentation