another small fix...