Small additions to bug fixes previously committed.