Bugfix in ceil