! Fix a bug discovered/reported in #277