DOC - Jan. 03, 2013: Changes to make code work with PHP 5.4