main: minor bugfix