I've fixed this in a to-be-pushed commit.