Incorrect contract for previous-line function

[slaymaker1907]

The contract seems to specify that it always return exact-nonnegative-integer? but it may return #f if on the first line. This does not seem to be checked currently otherwise the indentation example in the book would fail.

[mbutterick]

The code seems to be right; the documentation was wrong.

[mbutterick]

Thanks!