Name must now provide extension (.pl), otherwise warning is issued in Names.