minor but redundant