Fixed in 09fee85  (except the side-note :-))