small fix for double types