This is actually a bug... :-)