stuff for Jon's file