minor fix to get rid of warnings