Fix wrong phpstorm header