Removes duplication. #13.