a tiny modification

;-)