Small Fix for #433