minor fixes: ceil added