I just copied this from the original file. Will fix in another commit.