Minor message spacing in PHP module