Two small fixes
Three changes

Thanks to Bjor Poonen