minor optimization in core.database