Small change to make the php a tiny bit easier to read