Fix phpDoc broken by find/replace