Dear all, the attached obvious patch fixes a NULL pointer dereference that occurs with an invalid CLASS argument to DEALLOCATE. Regtested on x86_64-pc-linux-gnu. Will commit soon unless there are comments. Thanks, Harald