You should probably report it as a bug on github. Please make sure to include all information about version and software. (ie web server, php, mysql, etc.) I'm running 1.8.0.1 and do not have the same behavior, so I would guess that it has something to do with a different php version or something.