Added note about PHP bug.