Little utility function for page refresh.