php code style fixes