another null check fix and example grammar for s-expressions