Minor typing issue