Some further minor (very minor) adjustments