Fixes type warning