More documentation on the SLEEP bug