correctie van foute push