actually ensure the examples work!