another small fix