What are some lesser-known facts about modafinil?