tiny fix to the warning bug mentioned before