3.1.7.2 released - Annoying teleport-bug fixed!

Sorry for the delay and thanks for reporting.