wat bugs opgelost van vorige push