HoK: Version 1.4.2

Fix a problem in 224710