I must be missing it, but where is this class defined?