DIV effect; it type-checks so it must be right ;)