trivial variable rename
just a quick fix before going to bed!