Small bugfix not previously commited