Fix issue #192: All savepoints are called '?'