Minor bug is fixed.