Fix Hans' silly mistake