A bit of cleanup from b0b8a7845a000dd6632ece84c97c05df21ec5612

Made typo_check always return something.
Whitespace/alignment cleanup.
Don't assign never-used variables.
Die on ajax.