Updated doc with info regarding PHP bug.