Actually, that bit should just be factored out