Glad I could help. You might want to post your pull request again so one of the TAs can have a look. They must have missed your original post.