Bug-fix: type casting.