Why put this case in a function and the other case toplevel?