fix bug on php 5.3 (run ok on 5.4)