Patch for a crash

This is a small update to fix a crash that was reported. Thank you to the person who reported the problem!