This is a bad hack, will be fixed in #123.