regexp bug in php 5.4.3