9/21 mantis bug fixed