Documentation for an exception thrown when using an uninitialized facility