Bugfix; release 0.35.3