Trivial segfault fix from Richard B.