FIXME: private member is only used in the constructor