Genksyms fixes