Fix some stuff broken during repo sync
1 file changed