remove two redundancies after the merge of 8ed93c4