oops! since it was (what I thought) was a small change, I made it in github editor (forgetting about andrew's changes)

I'll take a closer look at this code, sorry