Fixes PHP Doc