Version 0.12.1: Quick fix of previous change.