Removed extra whnf