Minor convenience fix.