Another fix for ctrl