Forgot to declare classes as STORM classes