Synopsis bugfix