Small fixes to PHPixie implementation