Pushing minor bugfix