Mantis #4274