Add specs for the ctrl key fix