A bug. This needs fixing