Shell extension: minor adjustment.