#164 another very small fix.