Fix develop script and tweak type.