Fix bug in stamp::optional