Added a note saying that this little utility function should be called in all HK configurations.