Oh, that was changed with #140, 5 days ago ...