Fix odd production-specific error (addresses #88)