Some minor change.

I've made some minor change to check if this really works.