minor bugfix to remove warnings