minor cleanup in Instructions