Some small semantics and spacing changes

Signed-off-by: Christopher Rogers <chrissrogers@gmail.com>