I figured it out -- your branch is behind our master, where this was already fixed. Hence the diff was a bit misleading.