Bug in default type