propage Florian's type fix to the specs