Minor patch to output of --op=list-profiles