Version 1.4.2:
* Bugfix for php 5.3.