more syntactic sugar improvements and an example