bugfix: cast