Added a note about PHP5.3 workaround.
fix typo