Change coding style according to php 5.4