Fix method.FormalSpec on pull