Woops, that's a bug :)