Bump to version 4.1.2