#1295: block haddock09 from f11