Regarding: https://secure.wikimedia.org/wikipedia/en/w/index.php?title=Wikipedia:Pedoph...

How is it that user Kotniski ‎(autopatrolled, reviewer, rollbacker) can currently edit a page which is full protected at the moment:

(del/undel) 20:52, 29 June 2010 Georgewilliamherbert (talk | contribs | block) changed protection level of Wikipedia:Pedophilia [edit=sysop] (expires 09:42, 2 July 2010 (UTC)) [move=sysop] (expires 09:42, 2 July 2010 (UTC))

Am I missing something, or did the protection permissions get borken at some point?