Since the user should be able to specify minor modes more than once, the following patch fixes this by allowing duplicate modes: