You're right; I fixed that this morning but forgot --force in my push :-) Fixed now.