Fix type signature of log2