null pointer bug (from ralph)