Was this a bug?