minor bugfix to remove warning