Copernicus and his Islamic predecessors: some historical remarks