a very small fix. final submitted version