fixes compilation and  #11