fixed a hole

accidentally deleted the wrong line…