Small syntax edits for sanity