Fix master after sync trampling

The last svn -> git job that ran trampled these... Sorry about that! The job has since been disabled.