Work around F5 being prevented, see #332